proof by induction summation